Enforcing Quantum Constraints
نویسنده
چکیده
An abstract formulation of quantum dynamics in the presence of a general set of quantum constraints is developed. Our constructive procedure is such that the relevant projection operator onto the physical Hilbert space is obtained with a single, common integration procedure over the original Lagrange multiplier variables that is completely independent of the general nature of the constraints. In the associated lattice-limit formulation it is demonstrated that expansion of the constraint operator contribution to second order in the lattice spacing is necessary while, as usual, only a first-order expansion is needed for the dynamical operator contribution. Among various possibilities, coherent state path integrals are used to illustrate a completely functional representation of the abstract quantization procedure.
منابع مشابه
Poisson-Lie Structures and Quantisation with Constraints
We develop here a simple quantisation formalism that make use of Lie algebra properties of the Poisson bracket. When the brackets {H,φi} and {φi, φj}, where H is the Hamiltonian and φi are primary and secondary constraints, can be expressed as functions of H and φi themselves, the Poisson bracket defines a Poisson-Lie structure. When this algebra has a finite dimension a system of first order p...
متن کاملQUANTUM VERSION OF TEACHING-LEARNING-BASED OPTIMIZATION ALGORITHM FOR OPTIMAL DESIGN OF CYCLIC SYMMETRIC STRUCTURES SUBJECT TO FREQUENCY CONSTRAINTS
As a novel strategy, Quantum-behaved particles use uncertainty law and a distinct formulation obtained from solving the time-independent Schrodinger differential equation in the delta-potential-well function to update the solution candidates’ positions. In this case, the local attractors as potential solutions between the best solution and the others are introduced to explore the solution space...
متن کاملSynthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets
This paper considers the problem of enforcing linear constraints containing marking terms, firing vector terms, and Parikh vector terms. Such constraints increase the expressivity power of the linear marking constraints. We show how this new type of constraints can be enforced in Petri nets. In the case of fully controllable and observable Petri nets, we give the construction of a supervisor en...
متن کاملSynthesis of Supervisors Enforcing Firing Vector Constraints in Petri Nets
This paper considers the problem of enforcing linear constraints containing marking terms, firing vector terms, and Parikh vector terms. Such constraints increase the expressivity power of the linear marking constraints. We show how this new type of constraints can be enforced in Petri nets. In the case of fully controllable and observable Petri nets, we give the construction of a supervisor en...
متن کاملA Quantum Logic Gate Representation of Quantum Measurement: Reversing and Unifying the Two Steps of von Neumann’s Model
In former work, quantum computation has been shown to be a problem solving process essentially affected by both the reversible dynamics leading to the state before measurement, and the logical-mathematical constraints introduced by quantum measurement (in particular, the constraint that there is only one measurement outcome). This dual influence, originated by independent initial and final cond...
متن کامل